Pattern systems
Identifieur interne : 00BF36 ( Main/Exploration ); précédent : 00BF35; suivant : 00BF37Pattern systems
Auteurs : Victor Mitrana [Roumanie] ; Gheorghe P Un [Roumanie] ; Grzegorz Rozenberg [Pays-Bas] ; Arto Salomaa [Finlande]Source :
- Theoretical Computer Science [ 0304-3975 ] ; 1996.
English descriptors
- Teeft :
- 7dsm, 7dsn, Academic press, Basic problem, Computer science, Developmental languages, Disjoint sets, Dnspl, Dsspl, Equivalence problem, Family dnspl, Formal language theory, Induction hypothesis, Iterated pattern languages, Mitrana, Morphisms, Nspl, Open problems, Pattern grammars, Pattern languages, Pattern system, Pattern systems, Previous step, Regular sets, Salomaa, Terminal words, Theoretical computer science, Various types, Weak synchronization, Word sequences, Wspl.
Abstract
Abstract: We introduce a model that covers the recent studies on pattern languages (with or without erasing), multi-pattern languages, iterated pattern languages and languages of pattern grammars. The model, referred to as a pattern system, provides a uniform framework for all such studies. Moreover, it gives a new method of investigating certain basic families of developmental languages. This paper investigates the basics of the main types (general, synchronized, deterministic) of pattern systems. Open problems and topics for further research will be pointed out.
Url:
DOI: 10.1016/0304-3975(94)00258-4
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002E63
- to stream Istex, to step Curation: 002E25
- to stream Istex, to step Checkpoint: 002837
- to stream Main, to step Merge: 00C757
- to stream Main, to step Curation: 00BF36
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title>Pattern systems</title>
<author><name sortKey="Mitrana, Victor" sort="Mitrana, Victor" uniqKey="Mitrana V" first="Victor" last="Mitrana">Victor Mitrana</name>
</author>
<author><name sortKey="P Un, Gheorghe" sort="P Un, Gheorghe" uniqKey="P Un G" first="Gheorghe" last="P Un">Gheorghe P Un</name>
</author>
<author><name sortKey="Rozenberg, Grzegorz" sort="Rozenberg, Grzegorz" uniqKey="Rozenberg G" first="Grzegorz" last="Rozenberg">Grzegorz Rozenberg</name>
</author>
<author><name sortKey="Salomaa, Arto" sort="Salomaa, Arto" uniqKey="Salomaa A" first="Arto" last="Salomaa">Arto Salomaa</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:C46EBEDA91D9705029E6D058716C907BD0F7904E</idno>
<date when="1996" year="1996">1996</date>
<idno type="doi">10.1016/0304-3975(94)00258-4</idno>
<idno type="url">https://api.istex.fr/ark:/67375/6H6-B7LK05TJ-4/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">002E63</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002E63</idno>
<idno type="wicri:Area/Istex/Curation">002E25</idno>
<idno type="wicri:Area/Istex/Checkpoint">002837</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002837</idno>
<idno type="wicri:Area/Main/Merge">00C757</idno>
<idno type="wicri:Area/Main/Curation">00BF36</idno>
<idno type="wicri:Area/Main/Exploration">00BF36</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a">Pattern systems</title>
<author><name sortKey="Mitrana, Victor" sort="Mitrana, Victor" uniqKey="Mitrana V" first="Victor" last="Mitrana">Victor Mitrana</name>
<affiliation wicri:level="1"><country xml:lang="fr">Roumanie</country>
<wicri:regionArea>Institute of Mathematics of the Romanian Academy of Sciences, PO Box 1-764, 70700 Bucureşti</wicri:regionArea>
<wicri:noRegion>70700 Bucureşti</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="P Un, Gheorghe" sort="P Un, Gheorghe" uniqKey="P Un G" first="Gheorghe" last="P Un">Gheorghe P Un</name>
<affiliation wicri:level="1"><country xml:lang="fr">Roumanie</country>
<wicri:regionArea>Institute of Mathematics of the Romanian Academy of Sciences, PO Box 1-764, 70700 Bucureşti</wicri:regionArea>
<wicri:noRegion>70700 Bucureşti</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Rozenberg, Grzegorz" sort="Rozenberg, Grzegorz" uniqKey="Rozenberg G" first="Grzegorz" last="Rozenberg">Grzegorz Rozenberg</name>
<affiliation wicri:level="1"><country xml:lang="fr">Pays-Bas</country>
<wicri:regionArea>Department of Computer Science, Leiden University, 2300 RA Leiden</wicri:regionArea>
<wicri:noRegion>2300 RA Leiden</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Salomaa, Arto" sort="Salomaa, Arto" uniqKey="Salomaa A" first="Arto" last="Salomaa">Arto Salomaa</name>
<affiliation></affiliation>
<affiliation wicri:level="4"><country xml:lang="fr">Finlande</country>
<wicri:regionArea>University of Turku, Department of Mathematics, SF-20500, Turku</wicri:regionArea>
<placeName><settlement type="city">Turku</settlement>
<region type="région" nuts="2">Finlande occidentale</region>
</placeName>
<orgName type="university">Université de Turku</orgName>
</affiliation>
<affiliation></affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="j">Theoretical Computer Science</title>
<title level="j" type="abbrev">TCS</title>
<idno type="ISSN">0304-3975</idno>
<imprint><publisher>ELSEVIER</publisher>
<date type="published" when="1996">1996</date>
<biblScope unit="volume">154</biblScope>
<biblScope unit="issue">2</biblScope>
<biblScope unit="page" from="183">183</biblScope>
<biblScope unit="page" to="201">201</biblScope>
</imprint>
<idno type="ISSN">0304-3975</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0304-3975</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>7dsm</term>
<term>7dsn</term>
<term>Academic press</term>
<term>Basic problem</term>
<term>Computer science</term>
<term>Developmental languages</term>
<term>Disjoint sets</term>
<term>Dnspl</term>
<term>Dsspl</term>
<term>Equivalence problem</term>
<term>Family dnspl</term>
<term>Formal language theory</term>
<term>Induction hypothesis</term>
<term>Iterated pattern languages</term>
<term>Mitrana</term>
<term>Morphisms</term>
<term>Nspl</term>
<term>Open problems</term>
<term>Pattern grammars</term>
<term>Pattern languages</term>
<term>Pattern system</term>
<term>Pattern systems</term>
<term>Previous step</term>
<term>Regular sets</term>
<term>Salomaa</term>
<term>Terminal words</term>
<term>Theoretical computer science</term>
<term>Various types</term>
<term>Weak synchronization</term>
<term>Word sequences</term>
<term>Wspl</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: We introduce a model that covers the recent studies on pattern languages (with or without erasing), multi-pattern languages, iterated pattern languages and languages of pattern grammars. The model, referred to as a pattern system, provides a uniform framework for all such studies. Moreover, it gives a new method of investigating certain basic families of developmental languages. This paper investigates the basics of the main types (general, synchronized, deterministic) of pattern systems. Open problems and topics for further research will be pointed out.</div>
</front>
</TEI>
<affiliations><list><country><li>Finlande</li>
<li>Pays-Bas</li>
<li>Roumanie</li>
</country>
<region><li>Finlande occidentale</li>
</region>
<settlement><li>Turku</li>
</settlement>
<orgName><li>Université de Turku</li>
</orgName>
</list>
<tree><country name="Roumanie"><noRegion><name sortKey="Mitrana, Victor" sort="Mitrana, Victor" uniqKey="Mitrana V" first="Victor" last="Mitrana">Victor Mitrana</name>
</noRegion>
<name sortKey="P Un, Gheorghe" sort="P Un, Gheorghe" uniqKey="P Un G" first="Gheorghe" last="P Un">Gheorghe P Un</name>
</country>
<country name="Pays-Bas"><noRegion><name sortKey="Rozenberg, Grzegorz" sort="Rozenberg, Grzegorz" uniqKey="Rozenberg G" first="Grzegorz" last="Rozenberg">Grzegorz Rozenberg</name>
</noRegion>
</country>
<country name="Finlande"><region name="Finlande occidentale"><name sortKey="Salomaa, Arto" sort="Salomaa, Arto" uniqKey="Salomaa A" first="Arto" last="Salomaa">Arto Salomaa</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00BF36 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00BF36 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:C46EBEDA91D9705029E6D058716C907BD0F7904E |texte= Pattern systems }}
This area was generated with Dilib version V0.6.33. |